#include <kernel/console.h>
#include <config.h>

void kernel_main(void) {
    term_init();
    
    term_write("Hello, MAHE NH!\n");
    term_write("MAHE NH Kernel v0.1.0\n");
    term_write("Booted successfully!\n");
    
    while (1) {
        asm volatile ("hlt");
    }
}
